universally valid premise

全称永真前提